semi-simple normed ring

半单赋范环